1. Collegium Logicum: annals of the Kurt-Godel-Society
پدیدآورنده :
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
9
.
A1
C58
2. Collegium logicum : annals of the Kurt-Godel society
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Periodicals ، Logic, Symbolic and mathematical
رده :
QA
9
.
C64
3. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
4. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
713
5. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
6. Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
پدیدآورنده : Matthias Baaz, Johann A. Makowsky )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2803
7. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt
رده :
QA
9
.
F58
8. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
9. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
10. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
11. Incompleteness :the proof and paradox of Kurt Godel
پدیدآورنده : Goldstein, Rebecca
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Gغodel, Kurt,Biography ، Logicians - United States,Biography ، Logicians - Austria,، Gغodel's theorem,، Proof theory
رده :
QA29
.
G58
G65
2005
12. Kurt Gödel :
پدیدآورنده : edited by Francisco A. Rodríguez-Consuegra ; with a historico-philosophical introduction by the editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gödel, Kurt-- Influence.,Gödel, Kurt.,Mathematics-- Philosophy.,Influence (Literary, artistic, etc.),Mathematics-- Philosophy.
رده :
QA8
.
6
13. Kurt Gödel and the foundations of mathematics :
پدیدآورنده : edited by Matthias Baaz ... [et al.]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gödel, Kurt,Gödel's theorem,Mathematics-- Philosophy
رده :
QA9
.
65
.
K87
2011
14. Kurt Godel and the foundations of mathematics : horizons of truth
پدیدآورنده : edited by Matthias Baaz ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel's theorem,Philosophy ، Mathematics,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
65
.
K87
15. Kurt Godel : essays for his centennial
پدیدآورنده : edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
33
16. Logical dilemmas : the life and work of Kurt Godel
پدیدآورنده : Dawson, Jr., John W.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria,Biography ، Mathematicians -- United States,Biography ، Mathematicians -- Austria
رده :
QA
29
.
G58D3
17. Reflections on Kurt Godel
پدیدآورنده : Wang, Hao 1291-
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
QA
1
.
W3
R4
1987
18. Reflections on Kurt Godel
پدیدآورنده : Wang, Hao, 1291-5991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria
رده :
QA
29
.
G58W33
19. Reflexiones sobre Kurt Gödel
پدیدآورنده : Hao Wang. Versión española de Pilar Castillo Criado
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gödel, Kurt, -- 1906-1978.,Mathematik,Philosophie
20. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
QA
9
.
65
.
M68
